| Bournez Olivier < Boutheina Chetali < Boutheina Chétali | Facettes : |
List of bibliographic references indexed by Boutheina Chetali
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001F13 (2012) | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David Rouillard | TASCCC - Project and Testing Tool (poster and demo) |
| 003259 (2010) | Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France] | An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project |
| 00BC53 (1997) | Boutheina Chetali [France] ; Barbara Heyd [France] | Formal verification of concurrent programs in L p and in C oq : A comparative analysis |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Boutheina Chetali"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Boutheina Chetali" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= Author.i
|clé= Boutheina Chetali
}}
| This area was generated with Dilib version V0.6.33. |  |